More from this Author

Automated Reasoning with Analytic Tableaux and Related Methods

by H. De Swart (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)